equivalence of two modifications

См. также в других словарях:

• Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… …   Wikipedia

• acid–base reaction — ▪ chemistry Introduction       a type of chemical process typified by the exchange of one or more hydrogen ions, H+, between species that may be neutral (molecules, such as water, H2O; or acetic acid, CH3CO2H) or electrically charged (ions, such… …   Universalium

• BIBLE — THE CANON, TEXT, AND EDITIONS canon general titles the canon the significance of the canon the process of canonization contents and titles of the books the tripartite canon …   Encyclopedia of Judaism

• General relativity — For a generally accessible and less technical introduction to the topic, see Introduction to general relativity. General relativity Introduction Mathematical formulation Resources …   Wikipedia

• nature, philosophy of — Introduction       the discipline that investigates substantive issues regarding the actual features of nature as a reality. The discussion here is divided into two parts: the philosophy of physics and the philosophy of biology.       In this… …   Universalium

• gravitation — gravitational, adj. gravitationally, adv. /grav i tay sheuhn/, n. 1. Physics. a. the force of attraction between any two masses. Cf. law of gravitation. b. an act or process caused by this force. 2. a sinking or falling …   Universalium

• Introduction to general relativity — General relativity (GR) is a theory of gravitation that was developed by Albert Einstein between 1907 and 1915. According to general relativity, the observed gravitational attraction between masses results from the warping of space and time by… …   Wikipedia

• metaphysics — /met euh fiz iks/, n. (used with a sing. v.) 1. the branch of philosophy that treats of first principles, includes ontology and cosmology, and is intimately connected with epistemology. 2. philosophy, esp. in its more abstruse branches. 3. the… …   Universalium

• set theory — the branch of mathematics that deals with relations between sets. [1940 45] * * * Branch of mathematics that deals with the properties of sets. It is most valuable as applied to other areas of mathematics, which borrow from and adapt its… …   Universalium

• Special relativity — (SR) (also known as the special theory of relativity or STR) is the physical theory of measurement in inertial frames of reference proposed in 1905 by Albert Einstein (after considerable contributions of Hendrik Lorentz and Henri Poincaré) in the …   Wikipedia

• literature — /lit euhr euh cheuhr, choor , li treuh /, n. 1. writings in which expression and form, in connection with ideas of permanent and universal interest, are characteristic or essential features, as poetry, novels, history, biography, and essays. 2.… …   Universalium